1. <A> Framework for Priority Arguments
پدیدآورنده : / Manuel Lerman
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Proof theory,Priority (Philosophy),Logic, Symbolic and mathematical,منطق ریاضی
رده :
QA9
,.
54
.
F7
,
L47
2010
2. A framework for priority arguments
پدیدآورنده : Lerman, Manuel, 3491-
کتابخانه: (طهران)
موضوع : ، Proof theory,، Priority )Philosophy(,، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
34
3. Adapting proofs-as-programs
پدیدآورنده : / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science),Lambda calculus,Abstract data types (Computer science),Electronic books. , local
رده :
E-BOOK
4. Adapting proofs-as-programs
پدیدآورنده : / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science,Lambda calculus,Abstract data types (Computer science
رده :
E-BOOK
5. An introduction to the language of mathematics /
پدیدآورنده : Frédéric Mynard.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Proof theory.,Mathematical logic.,Mathematics-- Logic.,Proof theory.
رده :
QA9
.
54
6. Automated proof search in non-classical logics : efficient matrix proof methods for model and intuitionistic logics
پدیدآورنده : Wallen, Lincoln A.
کتابخانه: (طهران)
موضوع : ، Proof theory,، Modality )Logic(,، Intuitionistic mathematics
رده :
QA
9
.
54
.
W35
1990
7. Combinators, -terms and proof theory
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Proof theory,Combinatory logic
رده :
QA9
.
S753
8. Combinators, -terms and proof theory
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Proof theory,Combinatory logic
رده :
QA9
.
S753
9. Combinators, -terms and proof theory
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Proof theory,Combinatory logic
رده :
QA9
.
S753
10. Computational aspects of linear logic /
پدیدآورنده : Patrick Lincoln.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical-- Data processing.,Proof theory.,Logic, Symbolic and mathematical-- Data processing.,Proof theory.
رده :
QA9
.
L565
1995
11. Conditional and preferential logics
پدیدآورنده : Gian Luca Pozzato
کتابخانه: كتابخانه دانشگاه صنعتي اروميه (أذربایجان الغربیة)
موضوع : Logic, Symbolic and mathematical,Proof theory
رده :
QA
,
9
,.
P65
,
2010
12. Conditional and preferential logics
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ; Proof theory. ;
13. Extending the fronters of mathematics:inquiries into ....
پدیدآورنده : / By Edward B.Burger
کتابخانه: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع : Proof theory,Mathematical analysis,Logic symbolic & mathematical
رده :
511
.
36
B954e
14. Gentzen-style aximatizations for basic logic
پدیدآورنده : by: Mojtaba Aghaei Foroushani,^AAghaei Foroushani, Mojtaba
کتابخانه: (طهران)
موضوع : Logic, Symbolic and mathematical,Proof theory
15. Handbook of mathematical induction: theory and applications
پدیدآورنده : / David S. Gunderson
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Proof theory,Induction (Mathematics),Logic, Symbolic and mathematical,Probabilities
رده :
511
.
36
G975H
2011
16. How to read and do proofs :
پدیدآورنده : Daniel Solow (Department of Operations, Weatherhead School of Management, Case Western Reserve University, Cleveland, OH 44106, e-mail daniel.solow@case.edu, web http://weatherhead.cwru.edu/solow)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Textbooks,Proof theory, Textbooks
رده :
QA9
.
54
.
S65
2014
17. How to read and do proofs: an introduction to mathematical thought processes
پدیدآورنده : Solow, Daniel
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
S65
2010
18. How to read and do proofs: an introduction to mathematical thought processes
پدیدآورنده : Solow, Daniel
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Textbooks ، Proof theory,Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
S65
2005
19. How to read and do proofs: an introduction to mathematical thought processes
پدیدآورنده : Solow, Daniel.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
S65
2005
20. Hybrid Logic and its Proof-Theory
پدیدآورنده : / by Torben Braeuner
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
QA9
,.
54
.
B73
2011
